Solving topological and geometrical constraints in bridge feature model
نویسندگان
چکیده
منابع مشابه
Geometrical complexity of conformations of ring polymers under topological constraints.
One measure of geometrical complexity of a spatial curve is the average of the number of crossings appearing in its planar projection. The mean number of crossings averaged over some directions have been numerically evaluated for N-noded ring polymers with a fixed knot type. When N is large, the average crossing number of ring polymers under the topological constraint is smaller than that of no...
متن کاملSolving Constraints in Model Transformations
Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, but have not been properly reflected in model transformation. This paper introduces constraint programming in model transformation, shows how constraint programming integrates with QVT Relations as a pathway to wide spread use of...
متن کاملGeometrical constraints in a gene network model and pattern formation
A fundamental task in developmental biology is to identify the mechanisms which drive morphogenesis. In many cases, pattern formation is driven by the positional information determined by both the gradient of maternal factors and hard-wired mechanisms embedded in the genome. Alternative mechanisms of positional information that contribute to patterning are the influence of signals derived from ...
متن کاملEfficient subgraph matching using topological node feature constraints
This paper presents techniques designed to minimise the number of states which are explored during subgraph isomorphism detection. A set of advanced topological node features, calculated from nneighbourhood graphs, is presented and shown to outperform existing features. Further, the pruning effectiveness of both the new and existing topological node features is significantly improved through th...
متن کاملGeometrical Axiomatization for Model Complete Theories of Differential Topological Fields
In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of [vdD1, 2.11], and the lifting principle we develop is a generalization of the geometric axiomatization of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tsinghua Science and Technology
سال: 2008
ISSN: 1007-0214
DOI: 10.1016/s1007-0214(08)70154-8